17th International Conference on Information Technology–New Generations (ITNG 2020)
This volume presents the 17th International Conference on Information Technology—New Generations (ITNG), and chronicles ...
Lire la suite
25 Years of Model Checking : History, Achievements, Perspectives
Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model ...
Lire la suite
3-D Shape Estimation and Image Restoration
Images contain information about the spatial properties of the scene they depict. When coupled with suitable assumptions, ...
Lire la suite
3-D Shape Estimation and Image Restoration
Images contain information about the spatial properties of the scene they depict. When coupled with suitable assumptions, ...
Lire la suite
3D Imaging for Safety and Security
This book is so far the first that covers the current state of the art in 3D imaging for safety and security. Special attention ...
Lire la suite
3D Imaging for Safety and Security
This book is so far the first that covers the current state of the art in 3D imaging for safety and security. Special attention ...
Lire la suite
3D Imaging, Analysis and Applications
This textbook is designed for postgraduate studies in the field of 3D Computer Vision. It also provides a useful reference ...
Lire la suite
50 Years of Artificial Intelligence
This Festschrift volume, published in celebration of the 50th Anniversary of Artificial Intelligence, includes 34 refereed ...
Lire la suite
6G Mobile Wireless Networks
Specifically, this book covers the following topics: 6G Use Cases, Requirements, Metrics and Enabling Technologies, PHY Technologies ...
Lire la suite
A Brief History of Computing
This text provides a comprehensive introduction to the key topics in the history of computing, in an easy-to-follow and concise ...
Lire la suite
A Classical Introduction to Cryptography
This advanced-level textbook covers conventional cryptographic primitives and cryptanalysis of these primitives; basic algebra ...
Lire la suite
A Classical Introduction to Cryptography Exercise Book
A Classical Introduction to Cryptography Exercise Book for A Classical Introduction to Cryptography: Applications for Communications ...
Lire la suite
A Computational Model of Natural Language Communication
Part I of this book presents a high-level description of an artificial agent which humans can freely communicate with in ...
Lire la suite
A Computer Scientists Guide to Cell Biology
This practical guide provides a succinct treatment of the general concepts of cell biology, furnishing the computer scientist ...
Lire la suite
A Computer Scientists Guide to Cell Biology
This practical guide provides a succinct treatment of the general concepts of cell biology, furnishing the computer scientist ...
Lire la suite
A Concise Introduction to Data Compression
Compressing data is an option naturally selected when faced with problems of high costs or restricted space. Written by a ...
Lire la suite
A Concise Introduction to Languages and Machines
This easy-to-follow text provides an accessible introduction to the key topics of formal languages and abstract machines ...
Lire la suite
A Concise Introduction to Mathematical Logic
This book is unique in that it is more concise than most others; the material is treated in a streamlined fashion. This allows ...
Lire la suite
A Concise Introduction to Mathematical Logic
This book is unique in that it is more concise than most others; the material is treated in a streamlined fashion. This allows ...
Lire la suite
A Concise Introduction to Software Engineering
This text focuses on the essential elements, providing readers with the basic skills and introductory knowledge required ...
Lire la suite
